Conceptual Graphs: fundamental notions
نویسندگان
چکیده
We state precise definitions of the basic notions of Sowa’s framework [Sowa 84] and provide related results. These results mainly concern the structure of the specialization relation, correspondence between graph operations and logical operations, and algorithmic complexity of the model handling. RESUME. Nous définissons précisément les notions de base du modèle des graphes conceptuels de Sowa [Sowa 84] et en étudions les propriétés. Nos résultats portent principalement sur la structure de la relation de spécialisation, la correspondance entre opérations de graphes et opérations logiques, et la complexité algorithmique de la mise en oeuvre du modèle.
منابع مشابه
Dynamic Assertion and Retraction of Conceptual Graphs
This paper proposes an extension to conceptual graphs that captures dynamic aspects of knowledge. This extension is necessary, because some kinds of temporal notions are not effectively represented by conceptual graphs containing only concepts, relations and actors [Sowa84]. The following work is based on the belief that a fundamental extension to conceptual graphs is needed that captures the t...
متن کاملNested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics
We present a graph-based KR model issued from Sowa's conceptual graphs but studied and developed with a speci c approach. Formal objects are kinds of labelled graphs, which may be simple graphs or nested graphs. The fundamental notion for doing reasonings, called projection (or subsumption), is a kind of labelled graph morphism. Thus, we propose a graphical KR model, where \graphical " is used ...
متن کاملQuery-Answering CG Knowledge Bases
Conceptual graphs are a good choice for constructing and exploiting a knowledge base. In several of our projects (semantic portal for e-tourism, exploitation of digital object corpus, etc.), we have to query such bases. So it is natural to consider queries and bases as simple graphs and to compute the set of all projections from a query to a base. However, there is a problem of the return of th...
متن کاملDatabase Inference – Conceptual Graphs Using Conceptual Graphs To Represent Database Inference Security Analysis
This paper describes an approach to database inference analysis based on conceptual graphs. The database inference problem is briefly described. Previous approaches are summarized, followed by a presentation of our inference model, called AERIE. The notions of an inference target class and an inference method class are introduced with examples given. Conceptual graphs are introduced as our mean...
متن کاملBasic Conceptual Structures Theory ∗ Michel
Although the theory of Conceptual Structures is over 10 years old, basic notions (like canonical graphs) are far from settled and are subject to constant extensions and reformulations. However, most of these are done in an informal way, which doesn’t help in clarifying the issues involved. It is our hope that this paper will provide a first step towards the complete and rigorous account of Conc...
متن کامل